COMMENT ⊗   VALID 00010 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	% This page should match page 2 of MANUAL.MF,
C00004 00003
C00006 00004
C00010 00005
C00012 00006	end
C00015 00007	"Figure 13b" % Overdrawn application
C00017 00008
C00019 00009
C00021 00010
C00022 ENDMK
C⊗;
% This page should match page 2 of MANUAL.MF,
% because I'm testing stuff to add to that file

def clear_all = clearit; clearxy; pickup standardpen;
proofrulethickness 0;
enddef;

def heavy_dot expr z =
 makelabel.top("",z-(1,0));
 makelabel.top("",z+(1,0));
 makelabel.top("",z-(0,1));
 makelabel.top("",z+(0,1));
 makelabel.top("",z+(1,1)/sqrt2);
 makelabel.top("",z+(1,-1)/sqrt2);
 makelabel.top("",z-(1,1)/sqrt2);
 makelabel.top("",z-(1,-1)/sqrt2);
 enddef;

def font_setup=
define_pixels(u,tiny,axis,hheight,border);
define_blacker_pixels(hair,thin,thick,rulethickness);
pickup if tiny<.5: nullpen else: pencircle scaled tiny fi;
tinypen:=savepen;
currenttransform:=identity slanted slant yscaled aspect_ratio;
enddef;

mode=proof; mode_setup;
standardpen=savepen;
end
"Figure 13b"; % Overdrawn application
def overdraw expr c = erase fill c; draw c enddef;
path q;
q=((0,1)..(2,0)..(4,2)..(2,5.5)..(0,8)..(2,10)..(3.5,9)) scaled 20;
pickup pencircle scaled 3;
draw q; showit;
for k=0 upto 35: overdraw fullcircle scaled 20 shifted point k/35*length q of q;
 showit; endfor